#ifndef __EKOS_KERNEL_HPET_H__
#define __EKOS_KERNEL_HPET_H__

extern volatile uint64_t hpet[];

#endif
